EOrder{i:l}  Type{i'} 

latex

Definitions	EventsWithOrder, EqDecider(T), Unit, Id, IdLnk, EOrderAxioms(E; pred?; info), x:A. B(x), t  T, Top
Lemmas	top wf, EOrderAxioms wf, IdLnk wf, Id wf, unit wf, deq wf